$\forall$$A$, $B$:Dsys. $A$ $\parallel$ $B$ $\Rightarrow$ (($A$ $\oplus$ $B$) $\in$ Dsys)